1

Key notions of Tarski's methodology of deductive systems

Year:
1985
Language:
english
File:
PDF, 2.15 MB
english, 1985
3

John F. Horthy,Agency and Deontic Logic.

Year:
2003
Language:
english
File:
PDF, 102 KB
english, 2003
5

Logics based on partial Boolean σ-algebras

Year:
1975
Language:
english
File:
PDF, 856 KB
english, 1975
6

General Theory of the Commutator for Deductive Systems. Part I. Basic Facts

Year:
2006
Language:
english
File:
PDF, 3.06 MB
english, 2006
7

Weakly Algebraizable Logics

Year:
2000
Language:
english
File:
PDF, 540 KB
english, 2000
8

Algebraic Methods in Philosophical Logic

Year:
2003
Language:
english
File:
PDF, 238 KB
english, 2003
10

Books received

Year:
1990
Language:
english
File:
PDF, 1013 KB
english, 1990
11

Books received

Year:
1991
Language:
english
File:
PDF, 452 KB
english, 1991
12

Books received

Year:
1988
Language:
english
File:
PDF, 600 KB
english, 1988
13

Local deductions theorems

Year:
1986
Language:
english
File:
PDF, 891 KB
english, 1986
14

Books received

Year:
1986
Language:
english
File:
PDF, 581 KB
english, 1986
15

Books received

Year:
1992
Language:
english
File:
PDF, 752 KB
english, 1992
16

Books received

Year:
1990
Language:
english
File:
PDF, 734 KB
english, 1990
17

Books received

Year:
1987
Language:
english
File:
PDF, 198 KB
english, 1987
18

Books received

Year:
1991
Language:
english
File:
PDF, 1.01 MB
english, 1991
19

Algebraic aspects of deduction theorems

Year:
1985
Language:
english
File:
PDF, 1.10 MB
english, 1985
20

Filter distributive logics

Year:
1984
Language:
english
File:
PDF, 1.31 MB
english, 1984
21

Books received

Year:
1987
Language:
english
File:
PDF, 811 KB
english, 1987
22

Books received

Year:
1989
Language:
english
File:
PDF, 752 KB
english, 1989
23

A deduction theorem schema for deductive systems of propositional logics

Year:
1991
Language:
english
File:
PDF, 326 KB
english, 1991
24

Books received

Year:
1989
Language:
english
File:
PDF, 458 KB
english, 1989
25

Books received

Year:
1985
Language:
english
File:
PDF, 377 KB
english, 1985
26

Books received

Year:
1987
Language:
english
File:
PDF, 291 KB
english, 1987
27

Reduced products of logical matrices

Year:
1980
Language:
english
File:
PDF, 1.39 MB
english, 1980
28

Books received

Year:
1986
Language:
english
File:
PDF, 526 KB
english, 1986
29

Books received

Year:
1988
Language:
english
File:
PDF, 511 KB
english, 1988
30

Books received

Year:
1986
Language:
english
File:
PDF, 368 KB
english, 1986
31

Books received

Year:
1985
Language:
english
File:
PDF, 662 KB
english, 1985
32

Sentential logics and Maehara Interpolation Property

Year:
1985
Language:
english
File:
PDF, 1.03 MB
english, 1985
33

Books received

Year:
1990
Language:
english
File:
PDF, 986 KB
english, 1990
34

Equivalential logics (II)

Year:
1981
Language:
english
File:
PDF, 1.25 MB
english, 1981
35

Another proof thatISPr(K) is the least quasivariety containingK

Year:
1982
Language:
english
File:
PDF, 156 KB
english, 1982
36

Logical matrices and the amalgamation property

Year:
1982
Language:
english
File:
PDF, 794 KB
english, 1982
37

Partial Boolean algebras in a broader sense

Year:
1979
Language:
english
File:
PDF, 876 KB
english, 1979
38

Books received

Year:
1988
Language:
english
File:
PDF, 256 KB
english, 1988
39

Books received

Year:
1990
Language:
english
File:
PDF, 441 KB
english, 1990
40

A single quasi-identity for a quasivariety with the Fraser-Horn property

Year:
1992
Language:
english
File:
PDF, 286 KB
english, 1992
41

Some theorems on structural entailment relations

Year:
1983
Language:
english
File:
PDF, 892 KB
english, 1983
42

Matrices, primitive satisfaction and finitely based logics

Year:
1983
Language:
english
File:
PDF, 1.15 MB
english, 1983
43

Logics based on partial Boolean σ-algebras (1)

Year:
1974
Language:
english
File:
PDF, 1.12 MB
english, 1974
44

Books received

Year:
1984
Language:
english
File:
PDF, 672 KB
english, 1984
45

Equivalential logics (I)

Year:
1981
Language:
english
File:
PDF, 645 KB
english, 1981
46

Books received

Year:
1989
Language:
english
File:
PDF, 613 KB
english, 1989
47

Foreword

Year:
2011
Language:
english
File:
PDF, 1.52 MB
english, 2011
48

Agency and Deontic Logicby John F. Horthy

Year:
2003
Language:
english
File:
PDF, 1.31 MB
english, 2003
49

Triangular irreducibility of congruences in quasivarieties

Year:
2014
Language:
english
File:
PDF, 333 KB
english, 2014